signature CONST_COND_STRUCTS =
sig
  structure Cfg : CFG
end

signature CONST_COND =
sig
  include CONST_COND_STRUCTS
  
  val shrink : Cfg.Program.t -> Cfg.Program.t
end
